#ifndef __USER_H__
#define __USER_H__
#include "libs/types.h"
#include "kernel/log/log.h"
#include "kernel/task/task.h"




extern "C" unsigned long do_exit(unsigned long code);

extern "C" uint64_t do_execve(StackFrame * regs,char* name);

extern "C" void user_level_printf(char* str);

extern "C" uint64_t open(char* str,int64_t mode);

extern "C" uint64_t close(uint64_t fd);

extern "C" uint64_t read(uint64_t fd,uint8_t* buffer,uint64_t bytes);

extern "C" uint64_t write(uint64_t fd,uint8_t* buffer,uint64_t bytes);

extern "C" uint64_t lseek(uint64_t fd,uint64_t offset,uint64_t origin);

extern "C" void* brk(uint64_t size);

extern "C" void* reboot(uint64_t cmd,void* arg);

#endif